package domain.tc;

import java.util.HashSet;
import java.util.Set;

import utils.exception.SyntaxParsingException;
import utils.parser.Parser;

import entities.concept.DomainConcept;

public class TestTCClash {

	/**
	 * @param args
	 */
	public static void main(String[] args) {
		String[] cs = { "(< (role f) 3)", "(= 4 (role g))",
				"(<= (role g) (role f))", };
		Set<DomainConcept<?, ?>> dcs = new HashSet<DomainConcept<?, ?>>();
		for (String c : cs) {
			try {
				dcs.add((DomainConcept<?, ?>) Parser.conParser(
						Parser.getListOfTokensFromTokenizer(c), null));
			} catch (SyntaxParsingException e) {
				e.printStackTrace();
			}
		}
		InitDomainGraph g = new InitDomainGraph(dcs, null);
		System.out.println(g.clashFinder());
	}

}
